#include <asm/regdef.h>
#include <asm/asm.h>

LEAF(tlb_out)
	sfence.vma	zero, zero
	jr	ra
END(tlb_out)
